61. Constraint solving and language processing
Author: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
Classification :
QA
76
.
612
.
C637
2005
62. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
Author: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
Classification :
QA
76
.
L28
Vol
.
3438
63. Constraint solving over multi-valued logics :
Author: Francisco Azevedo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
Classification :
QA76
.
612
.
A94
2003eb
64. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
Author: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constraint programming )Computer science(,، Logic programming
Classification :
QA
76
.
L28
Vol
.
2002
65. Context in computing :
Author: Patrick Brézillon, Avelino J. Gonzalez, editors ; foreword by George A. Papadopoulos
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation.
Classification :
QA76
.
9
.
C65
66. Data Mining and Constraint Programming :
Author: / edited by Christian Bessiere ....[et al.]
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Computer science ,Algorithms,Database management,Data mining,Artificial intelligence,Computer simulation
Classification :
QA76
.
9
.
D3
2016
67. Decision diagrams for optimization
Author: Bergman, David
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Combinatorial optimization,، Computer science,، Operations research,، Decision making
Classification :
QA
76
.
9
.
A43
.
T733
2016
68. Decision making under contraints
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Constraint programming (Computer science) ; Congresses. ;
69. Declarative programming and knowledge management :
Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
Classification :
QA76
.
615
70. Deep learning :
Author: Murad Khan, Bilal Jan, Haleem Farman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data.,Machine learning.,Big data.,Machine learning.
Classification :
Q325
.
5
.
K43
2019
71. Distributed Applications and Interoperable Systems II :
Author: edited by Lea Kutvonen, Hartmut König, Martti Tienari.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Multimedia systems.,Software engineering.
Classification :
TK7895
.
M5
E358
1999
72. Distributed Environments :
Author: edited by Yutaka Ohno, Toshiko Matsuda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.
Classification :
QA76
.
76
.
D47
E358
1991
73. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
74. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
75. Distributed software agents and applications :
Author: John W. Perram, Jean-Pierre Müller (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distributed artificial intelligence -- Congresses.,Distributed artificial intelligence -- Industrial applications -- Congresses.,Intelligence artificielle répartie -- Congrès.
76. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
77. Essentials of constraint programming
Author: Frیhwirth, Thom
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Constraint programming )Computer science(
Classification :
QA
76
.
612
.
F78
2003
78. Essentials of constraint programming /
Author: Thom Frühwirth, Slim Abdennadher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science)
Classification :
QA76
.
612
.
F78
2003
79. Evolutionary Multi-Criterion Optimization.
Author: Eckart Zitzler
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
80. Formal Methods and Software Engineering :
Author: Toshiaki Aoki ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fehlertoleranz.,Formale Methode.,Model Checking.
Classification :
QA76
.
9
.
F67
T674
2012
